- logique arbitraire
- сущ.
выч. произвольная логика
Французско-русский универсальный словарь. 2013.
logique arbitraire
Смотреть что такое "logique arbitraire" в других словарях:
arbitraire — [ arbitrɛr ] adj. et n. m. • 1397 dr.; lat. arbitrarius I ♦ Adj. 1 ♦ (XVIe) Qui dépend de la seule volonté (libre arbitre), n est pas lié par l observation de règles. ⇒ gratuit, libre. Choix arbitraire. Sc. Qui procède d un libre choix de… … Encyclopédie Universelle
Arbitraire — est un adjectif ou un nom. Adjectif, il signifie qui dépend uniquement d une décision individuelle . Il peut alors être utilisé pour souligner qu une décision est contraire à l intérêt commun. De façon générale, il qualifie ce qui ne repose pas… … Wikipédia en Français
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
Logique Linéaire — La logique linéaire (LL), inventée par le logicien Jean Yves Girard en 1986, est un produit de la théorie de la démonstration moderne. Elle résulte d une analyse du comportement des preuves des logiques classique et intuitionniste au travers de… … Wikipédia en Français
Logique lineaire — Logique linéaire La logique linéaire (LL), inventée par le logicien Jean Yves Girard en 1986, est un produit de la théorie de la démonstration moderne. Elle résulte d une analyse du comportement des preuves des logiques classique et… … Wikipédia en Français
Logique linéaire — La logique linéaire (LL), inventée par le logicien Jean Yves Girard en 1986, est un produit de la théorie de la démonstration moderne. Elle résulte d une analyse du comportement des preuves des logiques classique et intuitionniste au travers de… … Wikipédia en Français
Logique des prédicats — Calcul des prédicats Le calcul des prédicats du premier ordre, ou calcul des relations, ou logique du premier ordre, ou tout simplement calcul des prédicats est une formalisation du langage des mathématiques proposée par les logiciens de la fin… … Wikipédia en Français
Logique du premier ordre — Calcul des prédicats Le calcul des prédicats du premier ordre, ou calcul des relations, ou logique du premier ordre, ou tout simplement calcul des prédicats est une formalisation du langage des mathématiques proposée par les logiciens de la fin… … Wikipédia en Français
Logique du première ordre — Calcul des prédicats Le calcul des prédicats du premier ordre, ou calcul des relations, ou logique du premier ordre, ou tout simplement calcul des prédicats est une formalisation du langage des mathématiques proposée par les logiciens de la fin… … Wikipédia en Français
Induction logique — Induction (logique) Pour les articles homonymes, voir Induction. À la différence de la déduction qui impose des propositions de départ non supposées vraies, l induction se propose de chercher des lois générales à partir de l observation de faits… … Wikipédia en Français
Induction (logique) — Pour les articles homonymes, voir Induction. L induction est historiquement le nom pour un genre de raisonnement qui se propose de chercher des lois générales à partir de l observation de faits particuliers, sur une base probabiliste. L idée de… … Wikipédia en Français
